Формальный язык в математической логике и информатике — множество конечных слов (строк, цепочек) над конечным алфавитом. Понятие языка чаще всего используется в теории автоматов, теории вычислимости и теории алгоритмов. Научная теория, которая имеет дело с этим объектом, называется теорией формальных языков.
Все значения словосочетания «формальный язык»Как уже было отмечено, общение с помощью формального языка возникло совсем недавно по меркам истории нашей эволюции.
У нас сложилось впечатление о римлянах как о нации гордецов, говорящих на очень формальном языке, которого никто не мог понять, кроме них самих.
Однако наиболее важные изменения коснулись интерпретации формального языка и созданной в этих целях теории значения.